Uncountable dense categoricity in cats
نویسنده
چکیده
We prove that under reasonable assumptions, every cat (compact abstract theory) is metric, and develop some of the theory of metric cats. We generalise Morley’s theorem: if a countable Hausdorff cat T has a unique complete model of density character λ ≥ ω1, then it has a unique complete model of density character λ for every λ ≥ ω1.
منابع مشابه
Morley’s Categoricity Theorem
A theory is called κ-categorical, or categorical in power κ, if it has one model up to isomorphism of cardinality κ. Morley’s Categoricity Theorem states that if a theory of first order logic is categorical in some uncountable power κ, then it is categorical in every uncountable power. We provide an elementary exposition of this theorem, by showing that a theory is categorical in some uncountab...
متن کاملCategoricity over P for first order T or categoricity for ϕ ∈ Lω1ω can stop at ℵk while holding for ℵ0,...,ℵk−1
In the 1950’s, Los conjectured that if T was countable first order theory in a language L then if it was categorical in some uncountable power then it was categorical in all uncountable powers. In [7], Morley proved this. Buoyed by this success, more general forms of the Los conjecture were considered. In [10], Shelah showed that if T was any first order theory categorical in some power greater...
متن کاملCategoricity transfer in simple finitary abstract elementary classes
We continue to study nitary abstract elementary classes, de ned in [7]. We introduce a concept of weak κ -categoricity and an f-primary model in a א0 -stable simple nitary AEC with the extension property, and gain the following theorem: Let (K,4K) be a simple nitary AEC, weakly categorical in some uncountable κ . Then (K,4K) is weakly categorical in each λ ≥ min{κ,i(2א0 )+} . We have that if th...
متن کاملCategoricity over P for first order T or categoricity for φ ∈ L ω 1 ω can stop at א k while holding for א 0 , . . . ,
In the 1950’s, Los conjectured that if T was countable first order theory in a language L then if it was categorical in some uncountable power then it was categorical in all uncountable powers. In [7], Morley proved this. Buoyed by this success, more general forms of the Los conjecture were considered. In [10], Shelah showed that if T was any first order theory categorical in some power greater...
متن کاملUncountable categoricity of local abstract elementary classes with amalgamation
We give a complete and elementary proof of the following upward categoricity theorem: LetK be a local abstract elementary class with amalgamation and joint embedding, arbitrarily large models, and countable LöwenheimSkolem number. If K is categorical in א1 then K is categorical in every uncountable cardinal. In particular, this provides a new proof of the upward part of Morley’s theorem in firs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 70 شماره
صفحات -
تاریخ انتشار 2005